Books by author Dirk Pattinson

Showing 1 – 3 out of 3 results

1. 

   Coalgebraic Methods in Computer Science

   Dirk Pattinson, Lutz Schröder | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   Automated Reasoning

   Jasmin Blanchette, Laura Kovács, Dirk Pattinson | Springer International Publishing AG, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.24 €

   Sale 7 %

   You save 3.43 €

   Buy
3. 

   Recent Trends in Algebraic Development Techniques

   Martin Wirsing, Dirk Pattinson, Rolf Hennicker | Springer, Berlin, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy

Returning customers have discounts and benefits. Find out more